bitkeeper revision 1.1071.1.2 (40f3eed8kdZ959gB_ZYkHRPFFEGkKg)
authorkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Tue, 13 Jul 2004 14:16:56 +0000 (14:16 +0000)
committerkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Tue, 13 Jul 2004 14:16:56 +0000 (14:16 +0000)
commit9e97fb0d613cfec88179616859f50cc8939ca2b3
tree26d3ea883855fb52014410558fd07028a8b2ddd1
parentcfd1b0eea082600c50f615f6621fecf729132a2f
bitkeeper revision 1.1071.1.2 (40f3eed8kdZ959gB_ZYkHRPFFEGkKg)

Fix domain death to stop all CPUs running over the defunct page tables.
xen/arch/x86/domain.c
xen/arch/x86/x86_32/mm.c
xen/common/kernel.c
xen/include/asm-x86/mm.h